((v9 v3 4) (v10 v5 8) (v7 v8 2) (v4 v8 8) (v1 v3 8) (v7 v1 6) (v9 v5 3) (v9 v6 1) (v2 v7 2) (v4 v6 6) (v1 v2 6) (v7 v3 3) (v10 v3 7) (v2 v6 5) (v1 v4 5) (v3 v6 5) (v10 v9 3) (v5 v3 8) (v1 v8 3) (v9 v7 5) (v9 v1 9) (v4 v5 9) (v4 v9 1) (v7 v10 9) (v3 v8 4) (v2 v8 2) (v6 v8 0))
88
((v10 v1) (v8 v3) (v8 v2))